Strongly Dependent Ordered Abelian Groups and Henselian Fields
نویسنده
چکیده
Strongly dependent ordered abelian groups have finite dprank. They are precisely those groups with finite spines and |{p prime : [G : pG] = ∞}| < ∞. We apply this to show that if K is a strongly dependent field, then (K, v) is strongly dependent for any henselian valuation v and the value group and residue field are stably embedded as pure structures.
منابع مشابه
Dp-Minimal Valued Fields
We show that dp-minimal valued fields are henselian and give classifications of dp-minimal ordered abelian groups and dp-minimal ordered fields without additional structure.
متن کاملSome Model Theory for Almost Real Closed Fields
We study the model theory of fields k carrying a henselian valuation with real closed residue field. We give a criteria for elementary equivalence and elementary inclusion of such fields involving the value group of a not necessarily definable valuation. This allows us to translate theories of such fields to theories of ordered abelian groups, and we study the properties of this translation. We...
متن کاملSymmetrically Complete Ordered Sets, Abelian Groups and Fields
We characterize linearly ordered sets, abelian groups and fields that are symmetrically complete, meaning that the intersection over any chain of closed bounded intervals is nonempty. Such ordered abelian groups and fields are important because generalizations of Banach’s Fixed Point Theorem hold in them. We prove that symmetrically complete ordered abelian groups and fields are divisible Hahn ...
متن کاملAutomorphisms and Isomorphisms of Real Henselian Fields
Let K and L be ordered algebraic extensions of an ordered field F. Suppose K and L are Henselian with Archimedean real closed residue class fields. Then K and L are shown to be F-isomorphic as ordered fields if they have the same value group. Analogues to this result are proved involving orderings of higher level, unordered extensions, and, when K and L are maximal valued fields, transcendental...
متن کاملDense subfields of henselian fields, and integer parts
We show that every henselian valued field L of residue characteristic 0 admits a proper subfield K which is dense in L. We present conditions under which this can be taken such that L|K is transcendental and K is henselian. These results are of interest for the investigation of integer parts of ordered fields. We present examples of real closed fields which are larger than the quotient fields o...
متن کامل